Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning
نویسنده
چکیده
منابع مشابه
Planning as Abductive Updating
In this paper we show how planning can be achieved by means of abduction, a form of non-monotonic reasoning, in the LUPS language. LUPS employs the recently introduced notion of Dynamic Logic Programming, whereby the knowledge representation rules, namely those representing actions, can dynamically change, crucial when agents are to be situated in evolving environments. By integrating into a si...
متن کاملLogic Programming for Non-Monotonic Reasoning
Our purpose is to exhibit a modular systematic method of representing nonmonotonic reasoning problems with the Well Founded Semantics of extended logic programs aumented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed. We show how to cast in the language of such logic programs forms of non-monotonic reasoning like defeasible reasoning and hypot...
متن کاملNon-Monotonic Reasoning with Logic Programming
Our purpose is to exhibit a modular systematic method of representing non{ monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed. We apply this semantics, and its contradiction removal semantics counterpart, to represent non-monotonic reasoning probl...
متن کاملA The Complexity of Reasoning for Fragments of Autoepistemic Logic
Non-monotonic logics are among the most important calculi in the area of knowledge representation and reasoning. Autoepistemic logic, introduced 1985 by Moore [Moore 1985], is one of the most prominent non-monotonic logics. It was originally created to overcome difficulties present in the non-monotonic modal logics proposed by McDermott and Doyle [McDermott and Doyle 1980], but was also shown t...
متن کاملIn : Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning
Research in NMR has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using non-monotonic formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991